COORDINATE-FREE LOGIC

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coordinate Free Numerics

ii Foreword These notes are being written during seminars in Department of Mathematics, University of Bergen, during the spring 2008. I appreciate any comments from the readers. I will pose ques-tions/comments to the readers of draft versions of the manuscript in margin notes like this one. iii iv FOREWORD Preface A fundamental dichotomy in mathematics and computer science is the distinction be...

متن کامل

Coordinate-free formationstabilization

This paper presents a method to stabilize a group of agents moving in a two-dimensional space to a desired rigid geometric configuration. A common approach is to use information of relative interagent position vectors to carry out this specific control task. However, existing works in this vein either require the agents to express their measurements in a global coordinate reference, or generall...

متن کامل

A Coordinate Free Geometry

An algebra for geometric reasoning is developed that is amenable to software implementation. The features of the algebra are chosen to support geometric programming of the variety found in computer graphics and computer aided geometric design applications. The implementation of the algebra in C++ is described, and several examples illustrating the use of this software are given.

متن کامل

Coordinate-free Thinking

Thinking outside the box is a nice metaphor, but we are so used to putting things in boxes that it may seem essential to our way of thinking. This idea is enforced by the standard view of relations that says that relata always come in a certain order. There is, however, an alternative view on relations, the antipositionalist view, according to which the constituents of the complexes of a relati...

متن کامل

Coordinate-free numerics: all your variation points for free?

In the object oriented literature the notion of a variation point is important. A variation point is where we expect to, or, in retrospect, are forced to, accommodate alternative solutions. Numerical software, such as solvers for partial differential equations (PDEs), are full of variation points. We observe this from how we speak about PDEs. Firstly, we speak about a multitude of PDEs to descr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Review of Symbolic Logic

سال: 2016

ISSN: 1755-0203,1755-0211

DOI: 10.1017/s1755020316000174